[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 129 134 164 262 262 158 164

N.S.

1 1.00 0.92 0.96 1.17 1.87 1.87 1.13 1.17

time (sec)

N/A 0.312 0.085 1.196 0.192 0.242 0.411 0.282 0.409

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 589 607 617 617 697 668 557

N.S.

1 1.00 3.33 3.43 3.49 3.49 3.94 3.77 3.15

time (sec)

N/A 0.642 0.083 0.433 0.191 0.228 0.073 0.275 0.434

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 585 607 617 617 682 668 557

N.S.

1 1.00 4.27 4.43 4.50 4.50 4.98 4.88 4.07

time (sec)

N/A 0.535 0.065 0.421 0.194 0.219 0.073 0.279 0.859

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 583 607 617 617 682 668 557

N.S.

1 1.00 5.95 6.19 6.30 6.30 6.96 6.82 5.68

time (sec)

N/A 0.481 0.058 0.422 0.194 0.237 0.075 0.282 0.663

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 80 82 93 94 85 95 94

N.S.

1 1.00 0.92 0.94 1.07 1.08 0.98 1.09 1.08

time (sec)

N/A 0.248 0.021 0.422 0.210 0.219 0.140 0.280 0.045

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 61 63 69 71 61 70 72

N.S.

1 1.00 0.92 0.95 1.05 1.08 0.92 1.06 1.09

time (sec)

N/A 0.213 0.015 0.974 0.191 0.211 0.113 0.274 0.053

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 41 43 46 47 37 46 46

N.S.

1 1.00 0.91 0.96 1.02 1.04 0.82 1.02 1.02

time (sec)

N/A 0.183 0.010 0.419 0.205 0.227 0.095 0.295 0.056

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 26 25 24 20 26 26

N.S.

1 1.00 1.00 1.04 1.00 0.96 0.80 1.04 1.04

time (sec)

N/A 0.162 0.006 0.970 0.196 0.217 0.077 0.267 0.048

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 29 30 30 29 41 32 28

N.S.

1 1.00 0.97 1.00 1.00 0.97 1.37 1.07 0.93

time (sec)

N/A 0.171 0.008 0.427 0.198 0.223 0.224 0.266 0.384

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 42 44 43 41 95 51 33

N.S.

1 1.00 0.98 1.02 1.00 0.95 2.21 1.19 0.77

time (sec)

N/A 0.193 0.013 0.997 0.200 0.219 0.188 0.270 0.455

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 58 62 63 68 131 75 73

N.S.

1 1.00 0.94 1.00 1.02 1.10 2.11 1.21 1.18

time (sec)

N/A 0.211 0.022 0.426 0.193 0.236 0.227 0.277 0.121

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 81 82 89 94 165 99 97

N.S.

1 1.00 0.94 0.95 1.03 1.09 1.92 1.15 1.13

time (sec)

N/A 0.233 0.037 0.980 0.196 0.220 0.260 0.283 0.399

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 112 153 169 170 155 181 181

N.S.

1 1.00 0.96 1.31 1.44 1.45 1.32 1.55 1.55

time (sec)

N/A 0.300 0.041 0.436 0.202 0.217 0.193 0.291 0.052

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 103 121 132 134 116 139 141

N.S.

1 1.00 1.10 1.29 1.40 1.43 1.23 1.48 1.50

time (sec)

N/A 0.248 0.025 1.171 0.189 0.224 0.172 0.265 0.047

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 74 89 97 98 75 99 100

N.S.

1 1.00 1.04 1.25 1.37 1.38 1.06 1.39 1.41

time (sec)

N/A 0.217 0.019 0.425 0.208 0.218 0.157 0.274 0.052

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 43 56 61 63 44 60 62

N.S.

1 1.00 0.88 1.14 1.24 1.29 0.90 1.22 1.27

time (sec)

N/A 0.184 0.012 0.974 0.199 0.218 0.123 0.268 0.058

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 54 53 53 73 55 49

N.S.

1 1.00 1.00 1.29 1.26 1.26 1.74 1.31 1.17

time (sec)

N/A 0.186 0.014 0.436 0.202 0.231 0.439 0.276 0.475

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 51 63 64 66 141 66 58

N.S.

1 1.00 1.00 1.24 1.25 1.29 2.76 1.29 1.14

time (sec)

N/A 0.198 0.017 1.007 0.200 0.220 0.414 0.271 0.482

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 60 90 88 93 187 101 89

N.S.

1 1.00 0.90 1.34 1.31 1.39 2.79 1.51 1.33

time (sec)

N/A 0.214 0.039 0.438 0.209 0.228 0.350 0.280 0.413

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 99 121 126 131 240 138 123

N.S.

1 1.00 1.10 1.34 1.40 1.46 2.67 1.53 1.37

time (sec)

N/A 0.238 0.030 1.205 0.197 0.224 0.407 0.278 0.165

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 127 154 164 169 287 174 160

N.S.

1 1.00 1.11 1.35 1.44 1.48 2.52 1.53 1.40

time (sec)

N/A 0.264 0.059 0.453 0.194 0.220 0.456 0.274 0.606

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 145 246 266 267 243 286 288

N.S.

1 1.00 0.95 1.62 1.75 1.76 1.60 1.88 1.89

time (sec)

N/A 0.342 0.057 1.201 0.195 0.221 0.255 0.269 0.066

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 124 199 214 216 185 227 231

N.S.

1 1.00 0.96 1.54 1.66 1.67 1.43 1.76 1.79

time (sec)

N/A 0.283 0.041 0.436 0.192 0.221 0.226 0.267 0.057

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 115 152 164 165 131 170 172

N.S.

1 1.00 1.08 1.43 1.55 1.56 1.24 1.60 1.62

time (sec)

N/A 0.256 0.027 0.439 0.198 0.221 0.201 0.271 0.342

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 74 107 114 116 83 115 118

N.S.

1 1.00 1.01 1.47 1.56 1.59 1.14 1.58 1.62

time (sec)

N/A 0.208 0.017 1.203 0.196 0.213 0.166 0.267 0.069

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 59 85 91 97 112 91 65

N.S.

1 1.00 0.92 1.33 1.42 1.52 1.75 1.42 1.02

time (sec)

N/A 0.209 0.019 0.439 0.202 0.242 0.665 0.268 0.136

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 66 88 89 98 196 91 88

N.S.

1 1.00 1.08 1.44 1.46 1.61 3.21 1.49 1.44

time (sec)

N/A 0.213 0.025 1.210 0.193 0.223 0.728 0.272 0.429

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 78 111 112 124 257 119 84

N.S.

1 1.00 0.92 1.31 1.32 1.46 3.02 1.40 0.99

time (sec)

N/A 0.232 0.055 0.445 0.203 0.221 0.707 0.279 0.470

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 93 153 156 161 289 169 137

N.S.

1 1.00 0.90 1.49 1.51 1.56 2.81 1.64 1.33

time (sec)

N/A 0.252 0.040 1.204 0.244 0.234 0.597 0.274 0.536

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 137 199 208 213 355 220 186

N.S.

1 1.00 1.10 1.60 1.68 1.72 2.86 1.77 1.50

time (sec)

N/A 0.265 0.069 0.463 0.195 0.225 0.666 0.278 0.175

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 188 247 261 266 418 271 238

N.S.

1 1.00 1.25 1.65 1.74 1.77 2.79 1.81 1.59

time (sec)

N/A 0.297 0.054 0.460 0.217 0.229 0.748 0.265 0.498

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 133 148 161 149 306 175 174

N.S.

1 1.00 0.92 1.02 1.11 1.03 2.11 1.21 1.20

time (sec)

N/A 0.333 0.041 0.472 0.215 0.229 1.349 0.269 0.563

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 105 106 113 122 255 119 106

N.S.

1 1.00 0.96 0.97 1.04 1.12 2.34 1.09 0.97

time (sec)

N/A 0.269 0.034 0.470 0.211 0.228 0.941 0.269 0.531

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 74 73 77 95 221 79 78

N.S.

1 1.00 0.96 0.95 1.00 1.23 2.87 1.03 1.01

time (sec)

N/A 0.226 0.024 1.229 0.208 0.222 0.756 0.275 0.182

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 57 60 65 190 62 61

N.S.

1 1.00 1.00 1.02 1.07 1.16 3.39 1.11 1.09

time (sec)

N/A 0.197 0.018 0.459 0.185 0.219 0.598 0.277 0.452

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 38 38 44 38 138 46 37

N.S.

1 1.00 0.86 0.86 1.00 0.86 3.14 1.05 0.84

time (sec)

N/A 0.183 0.013 1.231 0.196 0.224 0.389 0.275 0.111

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 26 28 36 26 128 46 25

N.S.

1 1.00 0.72 0.78 1.00 0.72 3.56 1.28 0.69

time (sec)

N/A 0.155 0.008 0.448 0.238 0.231 0.172 0.276 0.426

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 48 49 53 50 0 66 52

N.S.

1 1.00 0.91 0.92 1.00 0.94 0.00 1.25 0.98

time (sec)

N/A 0.198 0.016 1.032 0.192 0.274 0.000 0.273 0.646

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 78 77 80 88 0 89 78

N.S.

1 1.00 1.03 1.01 1.05 1.16 0.00 1.17 1.03

time (sec)

N/A 0.231 0.025 0.480 0.205 0.289 0.000 0.270 0.198

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 106 106 106 121 0 125 107

N.S.

1 1.00 0.99 0.99 0.99 1.13 0.00 1.17 1.00

time (sec)

N/A 0.266 0.033 1.250 0.195 1.398 0.000 0.267 0.231

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 139 149 156 149 0 175 153

N.S.

1 1.00 0.97 1.03 1.08 1.03 0.00 1.22 1.06

time (sec)

N/A 0.322 0.043 1.057 0.201 1.895 0.000 0.271 0.535

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 147 145 192 337 464 246 205

N.S.

1 1.00 1.00 0.99 1.31 2.29 3.16 1.67 1.39

time (sec)

N/A 0.350 0.112 1.249 0.193 0.238 12.493 0.267 0.585

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 107 108 151 285 428 185 144

N.S.

1 1.00 0.97 0.98 1.37 2.59 3.89 1.68 1.31

time (sec)

N/A 0.287 0.130 1.257 0.186 0.233 4.691 0.269 0.757

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 87 90 136 230 400 139 131

N.S.

1 1.00 0.96 0.99 1.49 2.53 4.40 1.53 1.44

time (sec)

N/A 0.256 0.077 1.261 0.196 0.226 1.950 0.273 0.505

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 77 81 120 148 333 114 80

N.S.

1 1.00 1.00 1.05 1.56 1.92 4.32 1.48 1.04

time (sec)

N/A 0.234 0.028 0.485 0.199 0.221 1.070 0.267 0.197

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 60 61 98 107 238 85 49

N.S.

1 1.00 0.98 1.00 1.61 1.75 3.90 1.39 0.80

time (sec)

N/A 0.202 0.020 1.258 0.191 0.218 0.365 0.270 0.402

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 53 58 90 92 233 77 47

N.S.

1 1.00 0.95 1.04 1.61 1.64 4.16 1.38 0.84

time (sec)

N/A 0.198 0.015 0.455 0.202 0.227 0.365 0.272 0.115

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 83 87 128 207 0 282 116

N.S.

1 1.00 0.95 1.00 1.47 2.38 0.00 3.24 1.33

time (sec)

N/A 0.242 0.062 1.254 0.206 0.615 0.000 0.278 0.733

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 111 111 177 287 0 150 157

N.S.

1 1.00 1.01 1.01 1.61 2.61 0.00 1.36 1.43

time (sec)

N/A 0.290 0.063 1.282 0.218 2.212 0.000 0.267 0.779

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 143 145 245 350 0 211 207

N.S.

1 1.00 0.99 1.01 1.70 2.43 0.00 1.47 1.44

time (sec)

N/A 0.338 0.275 1.290 0.204 3.163 0.000 0.271 0.724

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 161 156 290 579 748 251 293

N.S.

1 1.00 1.00 0.97 1.80 3.60 4.65 1.56 1.82

time (sec)

N/A 0.378 0.129 0.500 0.204 0.258 123.668 0.283 0.680

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 138 138 272 501 719 227 258

N.S.

1 1.00 0.99 0.99 1.94 3.58 5.14 1.62 1.84

time (sec)

N/A 0.324 0.100 0.510 0.212 0.239 43.586 0.266 0.758

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 134 128 259 369 653 216 232

N.S.

1 1.00 1.05 1.00 2.02 2.88 5.10 1.69 1.81

time (sec)

N/A 0.303 0.036 0.500 0.225 0.238 40.047 0.297 0.752

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 99 99 225 278 408 188 198

N.S.

1 1.00 0.99 0.99 2.25 2.78 4.08 1.88 1.98

time (sec)

N/A 0.265 0.039 0.493 0.211 0.219 0.563 0.279 0.445

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 85 84 208 244 401 165 185

N.S.

1 1.00 1.00 0.99 2.45 2.87 4.72 1.94 2.18

time (sec)

N/A 0.244 0.031 0.491 0.206 0.229 0.563 0.275 0.148

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 67 81 202 242 381 165 183

N.S.

1 1.00 0.82 0.99 2.46 2.95 4.65 2.01 2.23

time (sec)

N/A 0.230 0.030 0.460 0.211 0.227 0.552 0.271 0.129

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 116 131 266 506 0 234 235

N.S.

1 1.00 0.87 0.98 1.99 3.78 0.00 1.75 1.75

time (sec)

N/A 0.317 0.160 1.273 0.219 4.015 0.000 0.271 1.064

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 163 160 353 626 0 335 302

N.S.

1 1.00 1.02 1.00 2.21 3.91 0.00 2.09 1.89

time (sec)

N/A 0.368 0.103 0.530 0.214 5.212 0.000 0.269 0.877

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 183 207 215 286 209 280 374

N.S.

1 1.00 1.11 1.25 1.30 1.73 1.27 1.70 2.27

time (sec)

N/A 0.396 0.067 0.449 0.197 0.222 0.372 0.277 0.084

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 149 172 175 246 175 236 236

N.S.

1 1.00 1.10 1.26 1.29 1.81 1.29 1.74 1.74

time (sec)

N/A 0.328 0.054 0.452 0.201 0.225 0.320 0.280 0.067

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 114 131 138 202 126 188 158

N.S.

1 1.00 1.10 1.26 1.33 1.94 1.21 1.81 1.52

time (sec)

N/A 0.279 0.050 0.457 0.201 0.227 0.280 0.270 0.392

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 81 91 99 152 92 149 105

N.S.

1 1.00 1.05 1.18 1.29 1.97 1.19 1.94 1.36

time (sec)

N/A 0.238 0.032 1.229 0.194 0.219 0.237 0.290 0.113

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 47 63 67 92 60 98 71

N.S.

1 1.00 0.92 1.24 1.31 1.80 1.18 1.92 1.39

time (sec)

N/A 0.204 0.023 0.438 0.206 0.216 0.177 0.279 0.474

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 60 77 78 107 107 108 69

N.S.

1 1.00 1.03 1.33 1.34 1.84 1.84 1.86 1.19

time (sec)

N/A 0.213 0.032 1.024 0.208 0.222 0.382 0.269 0.447

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 67 85 93 149 173 111 101

N.S.

1 1.00 0.92 1.16 1.27 2.04 2.37 1.52 1.38

time (sec)

N/A 0.225 0.049 0.460 0.198 0.219 0.366 0.282 0.395

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 109 123 135 208 262 166 143

N.S.

1 1.00 1.06 1.19 1.31 2.02 2.54 1.61 1.39

time (sec)

N/A 0.270 0.068 1.246 0.211 0.224 0.453 0.288 0.131

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 142 158 177 253 326 236 180

N.S.

1 1.00 1.08 1.20 1.34 1.92 2.47 1.79 1.36

time (sec)

N/A 0.312 0.098 0.468 0.204 0.227 0.521 0.280 0.478

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 182 195 223 302 377 283 224

N.S.

1 1.00 1.09 1.17 1.34 1.81 2.26 1.69 1.34

time (sec)

N/A 0.358 0.094 0.471 0.210 0.227 0.578 0.282 0.594

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 190 310 323 421 323 403 688

N.S.

1 1.00 0.95 1.55 1.62 2.10 1.62 2.02 3.44

time (sec)

N/A 0.459 0.047 0.459 0.202 0.226 0.522 0.282 0.153

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 160 264 270 366 257 341 438

N.S.

1 1.00 0.98 1.61 1.65 2.23 1.57 2.08 2.67

time (sec)

N/A 0.369 0.040 0.450 0.199 0.225 0.456 0.276 0.092

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 130 218 220 314 204 286 281

N.S.

1 1.00 0.96 1.60 1.62 2.31 1.50 2.10 2.07

time (sec)

N/A 0.320 0.035 0.451 0.196 0.221 0.406 0.280 0.080

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 100 159 166 246 148 231 188

N.S.

1 1.00 0.97 1.54 1.61 2.39 1.44 2.24 1.83

time (sec)

N/A 0.272 0.046 0.450 0.205 0.222 0.342 0.280 0.065

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 72 109 118 173 102 167 123

N.S.

1 1.00 0.96 1.45 1.57 2.31 1.36 2.23 1.64

time (sec)

N/A 0.230 0.032 0.440 0.207 0.217 0.276 0.273 0.452

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 74 110 111 166 153 153 109

N.S.

1 1.00 1.00 1.49 1.50 2.24 2.07 2.07 1.47

time (sec)

N/A 0.231 0.038 1.235 0.198 0.224 0.752 0.276 0.479

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 79 121 132 198 250 165 118

N.S.

1 1.00 0.91 1.39 1.52 2.28 2.87 1.90 1.36

time (sec)

N/A 0.248 0.048 0.466 0.212 0.226 0.742 0.288 0.503

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 93 146 163 249 291 194 156

N.S.

1 1.00 0.96 1.51 1.68 2.57 3.00 2.00 1.61

time (sec)

N/A 0.259 0.069 1.260 0.203 0.229 0.654 0.287 0.134

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 126 199 219 322 386 280 209

N.S.

1 1.00 0.95 1.51 1.66 2.44 2.92 2.12 1.58

time (sec)

N/A 0.320 0.045 0.469 0.210 0.225 0.785 0.295 0.518

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 155 249 275 382 466 373 263

N.S.

1 1.00 0.96 1.54 1.70 2.36 2.88 2.30 1.62

time (sec)

N/A 0.347 0.059 0.469 0.209 0.219 0.876 0.273 0.650

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 189 298 332 438 530 436 314

N.S.

1 1.00 0.95 1.50 1.67 2.20 2.66 2.19 1.58

time (sec)

N/A 0.400 0.067 0.471 0.212 0.239 0.955 0.290 0.480

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 179 182 351 700 0 517 344

N.S.

1 1.00 1.00 1.02 1.96 3.91 0.00 2.89 1.92

time (sec)

N/A 0.428 0.132 0.511 0.212 0.265 0.000 0.287 0.690

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 142 140 310 623 731 415 334

N.S.

1 1.00 1.00 0.99 2.18 4.39 5.15 2.92 2.35

time (sec)

N/A 0.370 0.098 0.507 0.213 0.255 120.782 0.273 0.669

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 123 125 295 537 695 312 274

N.S.

1 1.00 0.99 1.01 2.38 4.33 5.60 2.52 2.21

time (sec)

N/A 0.326 0.091 0.505 0.211 0.241 22.621 0.287 0.753

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 105 113 284 408 627 202 258

N.S.

1 1.00 0.94 1.01 2.54 3.64 5.60 1.80 2.30

time (sec)

N/A 0.292 0.098 0.505 0.200 0.237 27.892 0.278 0.469

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 71 92 242 303 439 153 208

N.S.

1 1.00 0.78 1.01 2.66 3.33 4.82 1.68 2.29

time (sec)

N/A 0.253 0.099 0.498 0.209 0.231 0.585 0.278 0.443

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 75 89 218 283 483 167 147

N.S.

1 1.00 0.85 1.01 2.48 3.22 5.49 1.90 1.67

time (sec)

N/A 0.244 0.038 0.506 0.216 0.226 0.733 0.279 0.143

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 66 82 208 241 406 153 74

N.S.

1 1.00 0.81 1.01 2.57 2.98 5.01 1.89 0.91

time (sec)

N/A 0.228 0.017 0.486 0.192 0.230 0.592 0.283 0.456

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 120 124 283 524 0 199 183

N.S.

1 1.00 0.98 1.01 2.30 4.26 0.00 1.62 1.49

time (sec)

N/A 0.319 0.127 0.512 0.198 2.686 0.000 0.276 1.064

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 145 146 373 653 0 553 304

N.S.

1 1.00 1.01 1.01 2.59 4.53 0.00 3.84 2.11

time (sec)

N/A 0.352 0.116 0.540 0.226 7.486 0.000 0.278 0.896

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 176 179 472 750 0 459 367

N.S.

1 1.00 0.99 1.01 2.65 4.21 0.00 2.58 2.06

time (sec)

N/A 0.408 0.123 0.550 0.220 15.678 0.000 0.284 1.101

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 230 230 584 1201 0 744 543

N.S.

1 1.00 1.00 1.00 2.53 5.20 0.00 3.22 2.35

time (sec)

N/A 0.554 0.185 0.558 0.224 0.325 0.000 0.301 0.569

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 198 190 547 1081 0 621 508

N.S.

1 1.00 1.00 0.96 2.76 5.46 0.00 3.14 2.57

time (sec)

N/A 0.466 0.151 0.527 0.245 0.280 0.000 0.274 0.797

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 172 174 527 981 0 496 488

N.S.

1 1.00 0.99 1.01 3.05 5.67 0.00 2.87 2.82

time (sec)

N/A 0.410 0.127 0.522 0.209 0.266 0.000 0.281 0.771

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 162 161 518 797 0 310 468

N.S.

1 1.00 0.99 0.98 3.16 4.86 0.00 1.89 2.85

time (sec)

N/A 0.377 0.135 0.545 0.229 0.259 0.000 0.296 0.804

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 130 130 463 621 717 230 396

N.S.

1 1.00 1.01 1.01 3.59 4.81 5.56 1.78 3.07

time (sec)

N/A 0.320 0.105 0.514 0.209 0.233 0.997 0.303 0.534

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 123 122 420 617 787 248 386

N.S.

1 1.00 0.99 0.98 3.39 4.98 6.35 2.00 3.11

time (sec)

N/A 0.303 0.082 0.522 0.219 0.238 1.116 0.295 0.569

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 111 122 406 586 774 255 377

N.S.

1 1.00 0.92 1.01 3.36 4.84 6.40 2.11 3.12

time (sec)

N/A 0.296 0.070 0.526 0.228 0.235 1.096 0.275 0.660

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 97 108 386 495 632 217 329

N.S.

1 1.00 0.88 0.98 3.51 4.50 5.75 1.97 2.99

time (sec)

N/A 0.267 0.057 0.477 0.214 0.231 0.886 0.284 0.196

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 173 171 516 1044 0 310 459

N.S.

1 1.00 1.01 0.99 3.00 6.07 0.00 1.80 2.67

time (sec)

N/A 0.398 0.141 0.545 0.229 7.367 0.000 0.293 1.071

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 193 192 639 1213 0 517 535

N.S.

1 1.00 0.99 0.98 3.28 6.22 0.00 2.65 2.74

time (sec)

N/A 0.448 0.159 0.572 0.271 26.315 0.000 0.306 1.438

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 228 230 228 753 1302 0 865 602

N.S.

1 1.00 1.01 1.00 3.30 5.71 0.00 3.79 2.64

time (sec)

N/A 0.520 0.176 0.574 0.239 31.020 0.000 0.311 1.235

[next] [prev] [prev-tail] [front] [up]